An Algebraic Approach to Transactional Processes

We present a set of operators in order to simplify the modelling of transactional behaviour of processes using process algebra. We give an axiomatic semantics of the operators presented

Automatic conformance testing of internet applications

We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of thin client Internet applications. That is, we automatically test whether a running Internet application conforms to its formal specification. The actual implementation of the application is not taken into account, only its externally observable behaviour. In this paper, we show how to formally model this behaviour and how such formal specifications can serve as a basis for the automatic conformance testing of Internet applications

An MSC based representation of DiCons

We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications